Kodumal, John: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Regularly annotated set constraints

Kodumal, John, Aiken, Alex

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 380 KB

english, 2007

2

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Regularly annotated set constraints

Kodumal, John, Aiken, Alex

Year:

2007

Language:

english

File:

PDF, 380 KB

english, 2007

3

[ACM Press the ACM SIGPLAN 2004 conference - Washington DC, USA (2004.06.09-2004.06.11)] Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04 - The set constraint/CFL reachability connection in practice

Kodumal, John, Aiken, Alex

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

4

Flow-insensitive type qualifiers

Foster, Jeffrey S., Johnson, Robert, Kodumal, John, Aiken, Alex

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2006

Language:

english

File:

PDF, 890 KB

english, 2006

5

The set constraint/CFL reachability connection in practice

Kodumal, John, Aiken, Alex

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

6

Checking and inferring local non-aliasing

Aiken, Alex, Foster, Jeffrey S., Kodumal, John, Terauchi, Tachio

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 161 KB

english, 2003